Development of a formal system for representing behaviour-change theories

Theories and Models of Behaviour Change

Considerable attention has been given in the literature to models of individual behaviour change per se – but much less attention has been given to models or theories that attempt to understand behaviour change within groups, organisations and whole communities. The design of programs to reach populations requires an understanding of how those communities work, their barriers and enablers to ch...

Theories and techniques of behaviour change: Developing a cumulative science of behaviour change

Theories and models of behaviour and behaviour change

Theories and models of behaviour and behaviour change ..................................3

Theoretical explanations for maintenance of behaviour change: a systematic review of behaviour theories

BACKGROUND Behaviour change interventions are effective in supporting individuals in achieving temporary behaviour change. Behaviour change maintenance, however, is rarely attained. The aim of this review was to identify and synthesise current theoretical explanations for behaviour change maintenance to inform future research and practice. METHODS Potentially relevant theories were identified...

Representing Embedded System Sequence Diagrams as a Formal Language

Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require special support for branching, state information, and composing SDs. Actors must traverse many SDs when using a complex embedded system. Current techniques are insufficiently rich to represent the behavior of real sy...